\begin{table}[htp]
\tbl{\label{tb:matchlift} \small Comparison of time and cost of different algorithms in the Matchlift domain.}{
\setlength{\tabcolsep}{3pt}
\small
\begin{tabular}{|l|c|c|c|c|c|c|c|c|c|c|c|c|}
\hline
 \multirow{3}{*}{P}& \multicolumn{2}{|c|}{MiniSAT} & \multicolumn{8}{|c|}{BB-DPLL} & \multicolumn{2}{|c|}{MCC} \\
 \cline{2-13}
 & \multicolumn{2}{|c|}{no-opt} & \multicolumn{2}{|c|}{base} & \multicolumn{2}{|c|}{+h} & \multicolumn{2}{|c|}{+heu} & \multicolumn{2}{|c|}{all} & \multicolumn{2}{|c|}{}\\
\cline{2-13}
 & T & C & T & C & T & C & T & C & T & C & T & C \\
\hline
1 & 2.6 & 1052 & 2.8 & 332 & 3.6 & 332 & 2.6 & 332 & 2.6 & 332 & 1.0 & 332  \\ 
2 & 1.8 & 900 & 1.9 & 110 & 2.2 & 110 & 1.8 & 110 & 1.8 & 110 & 1.1 & 110  \\ 
3 & 6.8 & 2032 & 2247.2 & 352 & 34.3 & 352 & 29.6 & 352 & 8.0 & 352 & 66.78 & 352  \\ 
4 & 7.2 & 1792 & 13.2 & 452 & 9.2 & 452 & 7.3 & 452 & 7.3 & 452 & 63.37 & 452  \\ 
5 & 13.2 & 1664 & 13.6 & 644 & 24.4 & 644 & 13.6 & 644 & 24.1 & 644 & 135.44 & 644  \\ 
6 & 20.6 & 1936 & 77.6 & 566 & 75.7 & 566 & 27.4 & 566 & 42.8 & 566 & 283.74 & 566  \\ 
7 & 88.3 & 2316 & 197.9 & 704 & 1240.8 & 704 & 90.9 & 704 & 241.3 & 704 & - & -  \\ 
8 & 131.0 & 2566 & 194.3 & 856 & 338.6 & 856 & 146.7 & 856 & 307.6 & 856 & - & -  \\ 
9 & 26.7 & 1884 & 29.1 & 844 & 69.7 & 844 & 29.0 & 844 & 68.6 & 844 & 248.21 & 844  \\ 
10 & 55.6 & 2144 & 127.9 & 734 & 279.1 & 734 & 61.9 & 734 & 162.4 & 734 & 2836.41 & 734  \\ 
11 & 152.0 & 2334 & 164.6 & 804 & 698.0 & 804 & 249.1 & 804 & 413.0 & 804 & - & -  \\ 
\hline
\end{tabular}
}
\end{table}
